107 research outputs found
Subresultants and Generic Monomial Bases
Given n polynomials in n variables of respective degrees d_1,...,d_n, and a
set of monomials of cardinality d_1...d_n, we give an explicit
subresultant-based polynomial expression in the coefficients of the input
polynomials whose non-vanishing is a necessary and sufficient condition for
this set of monomials to be a basis of the ring of polynomials in n variables
modulo the ideal generated by the system of polynomials. This approach allows
us to clarify the algorithms for the Bezout construction of the resultant.Comment: 22 pages, uses elsart.cls. Revised version accepted for publication
in the Journal of Symbolic Computatio
Effective Differential Nullstellensatz for Ordinary DAE Systems with Constant Coefficients
We give upper bounds for the differential Nullstellensatz in the case of
ordinary systems of differential algebraic equations over any field of
constants of characteristic . Let be a set of differential
variables, a finite family of differential polynomials in the ring
and another polynomial which vanishes at
every solution of the differential equation system in any
differentially closed field containing . Let and . We
show that belongs to the algebraic ideal generated by the successive
derivatives of of order at most , for a suitable universal constant , and
. The previously known bounds for and are not
elementary recursive
- …